Computer Laboratory

Results: 4525



#Item
211

Building Library Components That Can Use Any MPI Implementation William Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL

Add to Reading List

Source URL: wgropp.cs.illinois.edu

- Date: 2016-08-16 11:52:12
    212

    Linear Types for Packet Processing Robert Ennals1 , Richard Sharp2 , and Alan Mycroft1 1 Computer Laboratory, Cambridge University 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK.

    Add to Reading List

    Source URL: rich.recoil.org

    - Date: 2006-04-13 14:58:00
      213

      Push-to-Pull Peer-to-Peer Live Streaming Thomas Locher, Remo Meier, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK), ETH Zurich, 8092 Zurich, Switzerland {lochert,remmeier,schmiste

      Add to Reading List

      Source URL: disco.ethz.ch

      - Date: 2014-09-26 08:36:48
        214

        LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979

        Add to Reading List

        Source URL: events.inf.ed.ac.uk

        - Date: 2012-10-10 03:52:06
          215

          Combinatorial Agency with Audits Raphael Eidenbenz Computer Engineering and Networks Laboratory (TIK) ETH Zurich, Switzerland

          Add to Reading List

          Source URL: disco.ethz.ch

          - Date: 2014-09-26 08:36:27
            216

            COMPUTER-ASSISTED TERRAIN ANALYSIS ON A MICROCOMPUTER Major Scott A. Loomer Computer Graphics Laboratory Department of Geography and Computer Science United States Military Academy

            Add to Reading List

            Source URL: mapcontext.com

            - Date: 2008-08-30 00:25:22
              217

              Institut für Technische Informatik und Kommunikationsnetze Computer Engineering and Networks Laboratory Prof. L. Thiele

              Add to Reading List

              Source URL: www.tik.ee.ethz.ch

              - Date: 2016-05-20 10:55:01
                218

                Bounds On Contention Management Algorithms Johannes Schneider1 , Roger Wattenhofer1 Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland Abstract

                Add to Reading List

                Source URL: disco.ethz.ch

                - Date: 2014-09-26 08:36:30
                  219

                  GEODESIC MODELLING OF PLANETARY RELIEF G E O F F R E Y DUTTON, Laboratory for Computer Graphics and Spatial Analysis, Graduate School of Design, Harvard University, Cambridge, Massachusetts, USA

                  Add to Reading List

                  Source URL: mapcontext.com

                  - Date: 2008-08-29 23:56:54
                    220

                    Manipulation in Games? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland

                    Add to Reading List

                    Source URL: disco.ethz.ch

                    - Date: 2014-09-26 08:36:54
                      UPDATE